Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information
نویسندگان
چکیده
منابع مشابه
Using Model-Driven Engineering to Support the Certification of Safety-Critical Systems
Critical systems such as those found in the avionics, automotive, maritime, and energy domains are often subject to a formal process known as certification. The goal of certification is to ensure that such systems will operate safely in the presence of known hazards, and without posing undue risks to the users, the public, or the environment. Certification bodies examine such systems based on e...
متن کاملA Uml Profiles for Viewpoint-oriented Modeling
The viewpoint-oriented modeling consists in providing an unique model accessible by users with various access rights according to their needs. The system is represented as sub-systems (called sub-models). This cutting makes the design of system easier by an autonomous design of its sub-systems. UML is a standard modeling language and supports extension mechanism to allow tailoring UML to fit th...
متن کاملجنبه های طراحی شناسنامه بیمار در سیستمهای شخصی سازی اطلاعات سلامت: مرور نظاممند حوزه
Introduction: Tailoring the content of health information to the needs, preferences and abilities of individuals, leads to more informed and empowered health consumers. Computerized tailoring of Health Information requires patient’s characteristics. A user profile consists of personal data which are basic components in designing computer-tailoring systems. The present study aimed to ident...
متن کاملQuantitative evaluation of software security: an approach based on UML/SecAM and evidence theory
Quantitative and model-based prediction of security in the architecture design stage facilitates early detection of design faults hence reducing modification costs in subsequent stages of software life cycle. However, an important question arises with respect to the accuracy of input parameters. In practice, security parameters can rarely be estimated accurately due to the lack of sufficient kn...
متن کاملAspect Oriented UML to ECORE Model Transformation
With the emerging concept of model transformation, information can be extracted from one or more source models to produce the target models. The conversion of these models can be done automatically with specific transformation languages. This conversion requires mapping between both models with the help of dynamic hash tables. Hash tables store reference links between the elements of the source...
متن کامل